81. Type systems for distributed programs :
پدیدآورنده : Ornela Dardha
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
رده :
QA76
.
76
.
V47
82. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
موضوع : Electronic digital computers - Programming,Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
83. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming , Formal languages
رده :
QA
76
.
6
.
U848
1993
84. XML Schema /
پدیدآورنده : Eric van der Vlist.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : XML (Document markup language),COMPUTERS-- Data Processing.,COMPUTERS-- Programming Languages-- XML.,Langages de balisage.,XML (Document markup language),XML.
رده :
QA76
.
76
.
H94
V36
2002
